11![Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab Kevin Delmolino1 , Mitchell Arnett1 , Ahmed Kosba1 , Andrew Miller1,2 , and Elaine Shi2 , marnett@um Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab Kevin Delmolino1 , Mitchell Arnett1 , Ahmed Kosba1 , Andrew Miller1,2 , and Elaine Shi2 , marnett@um](https://www.pdfsearch.io/img/21c08af0a33ddd54b331385a871159be.jpg) | Add to Reading ListSource URL: fc16.ifca.aiLanguage: English - Date: 2016-01-27 10:23:42
|
---|
12![HashEx BoatPilotNAVI Smart Contract Security Audit Prepared for: BoatPilotNAVI HashEx BoatPilotNAVI Smart Contract Security Audit Prepared for: BoatPilotNAVI](https://www.pdfsearch.io/img/a973e300268483fcd24d087b5204bf4d.jpg) | Add to Reading ListSource URL: www.boatpilot.io- Date: 2018-01-24 01:59:32
|
---|
13![Smart App Gallery Terms of Use Effective: December 1st 2016 These terms and conditions (“Terms of Use”) are a contract between users (“you”) and The Children’s Hospital Corporation, doing business as Boston Chi Smart App Gallery Terms of Use Effective: December 1st 2016 These terms and conditions (“Terms of Use”) are a contract between users (“you”) and The Children’s Hospital Corporation, doing business as Boston Chi](https://www.pdfsearch.io/img/6661f2bc2172da25c16ea590f970efe0.jpg) | Add to Reading ListSource URL: apps.smarthealthit.org- Date: 2018-02-01 13:57:40
|
---|
14![Smart Contract Powered Retirement Plans WHITEPAPER Version 8.7 – 21 March 2018
Abstract Smart Contract Powered Retirement Plans WHITEPAPER Version 8.7 – 21 March 2018
Abstract](https://www.pdfsearch.io/img/74e7105505be2f3852bbb3310689ba59.jpg) | Add to Reading ListSource URL: dl.auctus.org- Date: 2018-03-23 18:34:23
|
---|
15![More Legal Aspects of Smart Contract Applications Token Sales, Capital Markets, Supply Chain Management, Government and Smart Cities, Real Estate Registries, and Enabling Self-Sovereign Identity J. DAX HANSEN | PARTNER More Legal Aspects of Smart Contract Applications Token Sales, Capital Markets, Supply Chain Management, Government and Smart Cities, Real Estate Registries, and Enabling Self-Sovereign Identity J. DAX HANSEN | PARTNER](https://www.pdfsearch.io/img/238b78cc167f960f92858f632375c3ae.jpg) | Add to Reading ListSource URL: www.virtualcurrencyreport.com- Date: 2018-03-07 23:26:28
|
---|
16![A Smart Contract for Boardroom Voting with Maximum Voter Privacy Patrick McCorry, Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University UK (patrick.mccorry, siamak.shahandashti, feng.hao)@ A Smart Contract for Boardroom Voting with Maximum Voter Privacy Patrick McCorry, Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University UK (patrick.mccorry, siamak.shahandashti, feng.hao)@](https://www.pdfsearch.io/img/0d43b8c21f84186d4e73e045c5929098.jpg) | Add to Reading ListSource URL: fc17.ifca.ai- Date: 2017-03-17 12:02:31
|
---|
17![BitGuild Token Contract Audit by Hosho, March 2018
Executive Summary This document outlines the overall security of BitGuild’s smart contract as evaluated by Hosho’s BitGuild Token Contract Audit by Hosho, March 2018
Executive Summary This document outlines the overall security of BitGuild’s smart contract as evaluated by Hosho’s](https://www.pdfsearch.io/img/e9244e2b70df9a8895dd810fd381d820.jpg) | Add to Reading ListSource URL: www.bitguild.io- Date: 2018-03-28 05:09:43
|
---|
18![Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar](https://www.pdfsearch.io/img/03f925a346631760d946726cc0b7c996.jpg) | Add to Reading ListSource URL: arxiv.org- Date: 2018-01-02 20:44:15
|
---|
19![Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar](https://www.pdfsearch.io/img/8d5c7c0f7922cdf703addfe67d775e7c.jpg) | Add to Reading ListSource URL: ilyasergey.net- Date: 2018-03-26 18:04:21
|
---|
20![Legal Aspects of Smart Contract Applications Digital Asset Sales and Capital Markets, Supply Chain Management, Land Registries, Government Records and Smart Cities, and Self-Sovereign Identity J. DAX HANSEN | PARTNER Legal Aspects of Smart Contract Applications Digital Asset Sales and Capital Markets, Supply Chain Management, Land Registries, Government Records and Smart Cities, and Self-Sovereign Identity J. DAX HANSEN | PARTNER](https://www.pdfsearch.io/img/1954d6f424e6923db6a620b9d7afc0a3.jpg) | Add to Reading ListSource URL: www.virtualcurrencyreport.com- Date: 2017-05-24 17:30:56
|
---|